4 ideas
2764 | Full coherence might involve consistency and mutual entailment of all propositions [Blanshard, by Dancy,J] |
19080 | Coherence tests for truth without implying correspondence, so truth is not correspondence [Blanshard, by Young,JO] |
17750 | The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki] |
490 | Everything happens by reason and necessity [Leucippus] |